We describe (essential features and an axiomatization of) a new metamathematical (cognitive) ability, i.e., functional conceptual substratum, used implicitly in the generation of several mathematical proofs and definitions, and playing a fundamental role in Artificial Mathematical Intelligence (or Cognitive-computational metamathematics). Furthermore, we present an initial (first-order) formalization of this mechanism together with its characterizing relation with classic notions like primitive positive definability and Diophantiveness. Additionally, we analyze the semantic variability of functional conceptual substratum when small syntactic modifications are done. Finally, (...) we describe cognitively natural inference rules for (mathematical) definitions inspired by functional conceptual substratum and we show that they are sound and complete w.r.t.\ standard calculi. (shrink)

We approach the notion of general (global) human intelligence as a prominently multifaceted concept which can be tested in at least seventy specific scenarios. We say that an agent has Artificial Global Intelligence (AGLI), if it is able to perform in an intelligent manner for at least the collection of tasks defining the former scenarios. In particular, based on Gartner's multiple intelligences theory, we describe the design of a concrete test for AGLI made in such a way that an ‘average’ (...) young human being should, per diffinitionem, pass it. We compare our holistic test with several highly representative human and artificial intelligence tests for deducing that our AGLI test is the one with the broader scope of the whole range of intelligence. However, we claim as a plausible hypothesis and based on the wide thematic spectrum of the test that the most outstanding inventions of AI currently available are far from getting a high score on it. Finally, we open a discussion about the fact that, although there are artificial agents being able to simulate intelligent behaviour at a perfect level for several local tasks, this seems not to be the case for AGLI. This would imply, in particular, a kind of practical implausibility of the notion of intelligence explosion coming from philosophy of AI. (shrink)

We present a multidisciplinary, universal a pragmatic theory of causation based explicitly on five methodological causal seminal dimensions. The first one is called formal-mathematical-idealist theory and emerges as a meta-conceptual fusion of several existing causal theories. The second one is essentially based on a global, scientific and technical perspective. In fact, this can be considered as a meta-dimension encompassing a huge number of academic disciplines. The third dimension arises once more as combination of former approaches having the mind and its (...) laws as the central paradigm. The fourth one is structurally related with our subjective phenomenological world and its objective impact on the external universe. And, finally, the fifth dimension is closely related with the first one, but more oriented toward the global implicit purpose of the universe and what this implies causally on the events in nature. We give several concrete examples elucidating the explanatory range of our theory. (shrink)

The boundless nature of the natural numbers imposes paradoxically a high formal bound to the use of standard artificial computer programs for solving conceptually challenged problems in number theory. In the context of the new cognitive foundations for mathematics' and physics' program immersed in the setting of artificial mathematical intelligence, we proposed a refined numerical system, called the physical numbers, preserving most of the essential intuitions of the natural numbers. Even more, this new numerical structure additionally possesses the property of (...) being a bounded object allowing us to work with quite similar axioms like the classic Peano axioms, but in a finite environment and with an enriched physical dimension. Finally, we present several enlightening examples and we conclude that the physical numbers provide a natural formal setting for approaching classic problems in number theory from a more hybrid perspective, i.e. with a potential participation in the generation of solutions, not only of working mathematicians but also of more sophisticated artificial interactive (mathematical) intelligent agents (within the context of cognitive-computational metamathematics or artificial mathematical intelligence) and more controlled by physically-inspired principles. Finally, this paper addresses a highly new, bottom-up and paradigm-shifting approach to the foundations of physics: One should refine and improve the conceptual formal setting of the language that we use for understanding physical phenomena (e.g. the mathematical grounding concepts and theories) for being able to understand better more subtle and complex physical phenomena. (shrink)

This article introduces a new formulation of the interest theory of rights. The focus is on ‘Bentham’s test’, which was devised by Matthew Kramer to limit the expansiveness of the interest theory. According to the test, a party holds a right correlative to a duty only if that party stands to undergo a development that is typically detrimental if the duty is breached. The article shows how the entire interest theory can be reformulated in terms of the test. The article (...) then focuses on a further strength of the interest theory, brought to the fore by the new formulation. In any Western legal system, the tortious maltreatment of a child or a mentally disabled individual results in a compensatory duty. The interest theory can account for such duties in a simple and elegant way. The will theory, on the other hand, struggles to explain such compensatory duties unless it abandons some of its main tenets. (shrink)

As it says on the in, the problem for a standard of objectual (referential) quantification is presented, and a solution offered.

I think the basic intuition behind textualism correct – that the meaning of a law is fixed by referencing the meaning of its words according to the meaning common to the law’s ratifiers. However, even if true, it does not follow that interpretation of a law goes through the original ratifiers. Rather, a citizenry continually ratifies the laws to which it subjects itself, and as the meanings of those words change over time, so will those laws. Concerning, say, the U.S. (...) Constitution, though the text may be very nearly the same now as in the 18th century, a different constitution is in effect. (shrink)

We argue for the possibility of validating the presence of consciousness in another person from a perspective that blends both, a third-person approach of coming close to, observing, and understanding the other; and a first-person assessment of how the experience of the other feels like. For this, we will need to explain how the line between the third-person and first-person approaches is blurred in some methodological approaches. We rest our position largely on the back of some seminal conclusions of the (...) meditations of Ren\'e Descartes and other theories concerning consciousness like Chalmers' naturalistic dualism and, to some secondary extent on Integrated Information Theory (IIT). Additionally, we describe fundamental contextual principles already developed in the literature and the arts (like Stanivlaski's Acting System), and then we use them for setting a suitable methodology that we feel can be used to validate the presence of others' conscious experiences in one's consciousness (at suitable periods of spacetime). Finally, we give general methodological guidelines for the construction of the concrete experiment and we explore very briefly the potential implications of this kind of research in other academic and non-academic settings. (shrink)

Alain Badiou is one of the world's most influential living philosophers. Few contemporary thinkers display his breadth of argument and reference, or his ability to intervene in debates critical to both analytic and continental philosophy. Alain Badiou: Key Concepts presents an overview of and introduction to the full range of Badiou's thinking. Essays focus on the foundations of Badiou's thought, his "key concepts" - truth, being, ontology, the subject, and conditions - and on his engagement with a range of thinkers (...) central to his philosophy, including Plato, Descartes, Spinoza, Heidegger and Deleuze. (shrink)

The Article analyzes the notion of legal “thinghood” in the context of the person–thing bifurcation. In legal scholarship, there are numerous assumptions pertaining to this definition that are often not spelled out. In addition, one’s chosen definition of “thing” is often simply taken to be the correct one. The Article scrutinizes these assumptions and definitions. First, a brief history of the bifurcation is offered. Second, three possible definitions of “legal thing” are examined: Things as nonpersons, things as rights and duties, (...) and things as property. The first two definitions are rejected as not being very interesting or serving any heuristic function. Conversely, understanding legal things as property is meaningful, useful, and helps to understand what it means to say that animals are legally things. Defining things as property has certain rather important implications, which are analyzed at the end of the Article. For instance, not everything needs to be either a person or a thing: The historical institution of outlawry involved treating individuals neither as legal persons nor as legal things. One must conclude that the person–thing bifurcation is less fundamental than is often assumed. (shrink)

As a national ideology, Pancasila has formal quality, but it is also part of the material aspects that shapes perspectives that drives national policies through the process of consensus. The open and ambiguous character of Pancasila allows a wide space for social and political interpretation, and therefore is open to critique and reformation through reinterpretations of its meaning. An examination of the ethics of the socio-political application of Pancasila is crucial in the current national climate, and these ethical valuations are (...) formed through public discussions and debates on the meaning of Pancasila. Using data drawn from mass media. In this paper, I will examine the Government Regulation on Law (Perppu No. 2/2017) as an example of how these political ethics develop through the discussion of the meaning of Pancasila. Second, I'll highlight how the space for interpretation of the meaning of Pancasila determines how the public, government and oppositional coalitions evaluate the pro and contra approaches to translating the ideology into practice. Third, in examining the process of socio-political consensus as a necessity in the democratic life of Indonesia, this paper will position the discursive deployments of Pancasila in the ethical and political considerations that stem from the practical application of these discourses of Pancasila. (shrink)

In this paper I examine Grace A. de Laguna’s theory of universals in its historical context and in relation to contemporary debates in analytic metaphysics. I explain the central features of her theory, arguing that her theory should be classified as a form of immanent realism and as a powers ontology. I then show in what ways her theory affords a theory of modality in terms of potentialities and discuss some of its consequences along the way.

In this short paper I will introduce an idea which, I will argue, presents a fundamental additional challenge to the machine consciousness community. The idea takes the questions surrounding phenomenology, qualia and phenomenality one step further into the realm of intersubjectivity but with a twist, and the twist is this: that an agent’s intersubjective experience is deeply felt and necessarily co-affective; it is enkinaesthetic, and only through enkinaesthetic awareness can we establish the affective enfolding which enables first the perturbation, and (...) then the balance and counter-balance, the attunement and co-ordination of whole-body interaction through reciprocal adaptation. (shrink)

Linda Zagzebski’s book on epistemic authority is an impressive and stimulating treatment of an important topic. 1 I admire the way she manages to combine imagination, originality and argumentative control. Her work has the further considerable merit of bringing analytic thinking and abstract theory to bear upon areas of concrete human concern, such as the attitudes one should have towards moral and religious authority. The book is stimulating in a way good philosophy should be -- provoking both disagreement and emulation. (...) I agree with much of what she says, and have been instructed by it, but it will be of more interest and relevance here if I concentrate upon areas of disagreement. Perhaps they are better seen as areas, at least some of them, where her emphases suggest a position that seems to me untenable, but that she may not really intend. In that event, I will be happy to have provoked a clarification or the dispelling of my misunderstanding. My focus will be upon problems in her account of communal authority and autonomy, especially with respect to religious and political authority. Here my worry is that she places too much trust in trust and not enough in what I call selective mistrust. (shrink)

This article addresses the sensitive topic of human rights issues in Indonesia through a Kantian analysis. Cases of human rights violations are a common occurrence in Indonesia. Presently, human rights violations in the country are assessed from historical and legal perspectives. However, there is little commitment or willingness on the part of the Indonesian government to protect and defend the principles of human rights. This article is attempts to utilize arguments from political philosophy that can contextualize the protection and implementation (...) of human rights in Indonesia, through an analysis of the concept of social contract in Immanuel Kant’s political philosophy. According to Kant, freedom and equality are natural rights. This article demonstrates that Kant's social contract theory is linear with his formal moral philosophy. In his explanation, ‘contract’ is unified will. Therefore, the Indonesian state with its power is responsible to implement the will of the public to ensure order and rule of law and to protect the rights and freedom of each individual. (shrink)

My aim in this paper is to go some way towards showing that the maintenance of hard and fast dichotomies, like those between mind and body, and the real and the virtual, is untenable, and that technological advance cannot occur with being cognisant of its reciprocal ethical implications. In their place I will present a softer enactivist ontology through which I examine the nature of our engagement with technology in general and with virtual realities in particular. This softer ontology is (...) one to which I will commit Kant, and from which, I will show, certain critical moral and emotional consequences arise. It is my contention that Kant’s logical subject is necessarily embedded in the world and that Kant, himself, would be content with this view as an expression of his inspired response to the ‘‘scandal to philosophy... that the existence of things outside us... must be accepted merely on faith’’ [Bxl]. In keeping with his arguments for the a priori framing of intuition, the a priori structuring of experience through the spontaneous application of the categories, the synthesis of the experiential manifold, and the necessity of a unity of apperception, I will present an enactivist account of agency in the world, and argue that it is our embodied and embedded kinaesthetic engagement in our world which makes possible the syntheses of apprehension, reproduction and recognition, and which, in turn, make possible the activity of the reproductive or creative imagination. (shrink)

Hillel Steiner has recently attacked the notion of inalienable rights, basing some of his arguments on the Hohfeldian analysis to show that infinite arrays of legal positions would not be associated with any inalienable rights. This essay addresses the nature of the Hohfeldian infinity: the main argument is that what Steiner claims to be an infinite regress is actually a wholly unproblematic form of infinite recursion. First, the nature of the Hohfeldian recursion is demonstrated. It is shown that infinite recursions (...) of legal positions ensue regardless of whether inalienable rights exist or not. Second, the alleged problems that this might pose for the analysis are discussed. The conclusion is that one should not worry about the recursion as long as one understands correctly the role of the Hohfeldian analysis in normative reasoning. (shrink)

Betrachtet man den Gebrauch der Worte ‘Moral’ und ‘Vernunft’ etwas genauer, so stellt man fest, dass nicht klar ist, was sie bezeichnen bzw. wie Moral und Vernunft zusammenhängen. In dem Buch ‘Rationalität in der Angewandten Ethik’, in dem sich verschiedene Autoren die Aufgabe gestellt haben, diese Umstände in das Licht der Betrachtung zu rücken, finden wir Fragen darüber, wie “Moral”, “Angewandte Ethik” und “Vernunft” (auch in der Anwendung) zu verstehen und zu vereinen sind.

Social participation requires certain abilities: communication with other members of society; social understanding which enables planning ahead and dealing with novel circumstances; and a theory of mind which makes it possible to anticipate the mental state of another. In childhood play we learn how to pretend, how to put ourselves in the minds of others, how to imagine what others are thinking and how to attribute false beliefs to them. Without this ability we would be unable to deceive and detect (...) deception in the actions of others, and our ability to interact within our social group would be greatly impaired. In this paper I claim that the capacity for deception is necessary for a theory of mind, and a theory of mind is necessary for complex social interaction. (shrink)

Jaegwon Kim has argued (Kim 2006a) that the two key issues for emergentism are to give a positive characterization of the emergence relation and to explain the possibility of downward causation. This paper proposes an account of emergence which provides new answers to these two key issues. It is argued that an appropriate emergence relation is characterized by a notion of ‘transformation’, and that the real key issue for emergentism is located elsewhere than the places Kim identifies. The paper builds (...) on Victor Caston’s important work on ancient philosophy of mind (Caston 1997, 2001), but appeals to sources he has not considered. (shrink)

This paper outlines Lewis’s favoured foundational account of linguistic representation, and outlines and briefly evaluates variations and modifications. Section 1 gives an opinionated exegesis of Lewis’ work on the foundations of reference—his interpretationism. I look at the way that the metaphysical distinction between natural and non-natural properties came to play a central role in his thinking about language. Lewis’s own deployment of this notion has implausible commitments, so in section 2 I consider variations and alternatives. Section 3 briefly considers a (...) buck-passing strategy involving fine-grained linguistic conventions. (shrink)

In some sense, survival seems to be an intrinsic matter. Whether or not you survive some event seems to depend on what goes on with you yourself —what happens in the environment shouldn’t make a difference. Likewise, being a person at a time seems intrinsic. The principle that survival seems intrinsic is one factor which makes personal fission puzzles so awkward. Fission scenarios present cases where if survival is an intrinsic matter, it appears that an individual could survive twice over. (...) But it’s well known that standard notions of “intrinsicality” won’t do to articulate the sense in which survival is intrinsic, since ‘personhood’ appears to be a maximal property. We formulate a sense in which survival and personhood (and perhaps other maximal properties) may be almost intrinsic—a sense that would suffice, for example, to ground fission arguments. It turns out that this notion of almost-intrinsicality allows us to formulate a new version of the problem of the many. (shrink)

The precondition of any feminist politics – a usable category of ‘woman’ – has proved to be difficult to construct, even proposed to be impossible, given the ‘problem of exclusion’. This is the inevitable exclusion of at least some women, as their lives or experiences do not fit into the necessary and sufficient condition(s) that denotes group membership. In this paper, I propose that the problem of exclusion arises not because of inappropriate category membership criteria, but because of the presumption (...) that categories can only be organised by identity relations or shared properties among their members. This criterion of sameness as well as the characterisation of this exclusion as essentialism attests to a metaphysics that is not conducive to resistance and liberatory projects. Following a strain of hybrid thinking in feminist and post-colonial theory, I outline an alternative pluralist logic that confronts oppressive binaries that impede theory work in gender, sexuality, and race theory, and limit political action and resistance. The problem of exclusion is neither irresolvable nor is it essentialism. Instead it is a denial of subjectivity due to pseudodualistic self/Other dichotomies that can be resisted by adopting a new categorial logic. While this paper focuses on the specific problem of formulating a category of ‘woman’, it has implications for other areas of gender, critical race, and postcolonial theory. Rather than working toward an inclusive category founded on sameness, theorists need to develop independent and positive categories grounded in difference. Our current categorial logic does not permit such a project, and therefore a new metaphysics must be adopted. (shrink)

The concept of mechanism in biology has three distinct meanings. It may refer to a philosophical thesis about the nature of life and biology (‘mechanicism’), to the internal workings of a machine-like structure (‘machine mechanism’), or to the causal explanation of a particular phenomenon (‘causal mechanism’). In this paper I trace the conceptual evolution of ‘mechanism’ in the history of biology, and I examine how the three meanings of this term have come to be featured in the philosophy of biology, (...) situating the new ‘mechanismic program’ in this context. I argue that the leading advocates of the mechanismic program (i.e., Craver, Darden, Bechtel, etc.) inadvertently conflate the different senses of ‘mechanism’. Specifically, they all inappropriately endow causal mechanisms with the ontic status of machine mechanisms, and this invariably results in problematic accounts of the role played by mechanism-talk in scientific practice. I suggest that for effective analyses of the concept of mechanism, causal mechanisms need to be distinguished from machine mechanisms, and the new mechanismic program in the philosophy of biology needs to be demarcated from the traditional concerns of mechanistic biology. (shrink)

*Note that this project is now being developed in joint work with Rich Woodward* -/- Some things are left open by a work of fiction. What colour were the hero’s eyes? How many hairs are on her head? Did the hero get shot in the final scene, or did the jailor complete his journey to redemption and shoot into the air? Are the ghosts that appear real, or a delusion? Where fictions are open or incomplete in this way, we can (...) ask what attitudes it’s appropriate (or permissible) to take to the propositions in question, in engaging with the fiction. In Mimesis as Make-Believe (henceforth, MMB), Walton argues that just as truth norms belief, truth-in-fiction norms imagination. Granting that what is true-in-the-fiction should be imagined, and what is false-in-the-fiction is not to be imagined, there remains the question of what to say within the Waltonian framework about things that are neither true- nor false-in-the-fiction---the loci of incompleteness. (shrink)

In Reasons and Persons, Parfit (1984) posed a challenge: provide a satisfying normative account that solves the Non-Identity Problem, avoids the Repugnant and Absurd Conclusions, and solves the Mere-Addition Paradox. In response, some have suggested that we look toward person-affecting views of morality for a solution. But the person-affecting views that have been offered so far have been unable to satisfy Parfit's four requirements, and these views have been subject to a number of independent complaints. This paper describes a person-affecting (...) account which meets Parfit's challenge. The account satisfies Parfit's four requirements, and avoids many of the criticisms that have been raised against person-affecting views. (shrink)

David Lewis is typically interpreted as a class nominalist. One consequence of class nominalism, which he embraced, is that the reduction of ordered pairs, triples, etc to unordered sets of sets is conventional. The reaction by his Australian counterparts D.M. Armstrong and Peter Forrest was that Lewis was not being ontologically serious. This chapter evaluates this debate over serious ontology. It is argued that in one sense Lewis is ontologically serious, but that his additional commitment to structuralism about classes should (...) push him to adopt a trope-theoretic account of naturalness, which opens up another way to respond to the charge of not doing serious ontology. This conclusion is supported by certain remarks he makes in his correspondence, thus revealing how his thinking about properties appears to have evolved from property-egalitarianism to a sparse theory of tropes. (shrink)

In this paper I outline the main features of Karen Bennett’s (Australasian Journal of Philosophy 1–21, 2011) non-classical mereology, and identify its methodological costs. I argue that Bennett’s mereology cannot account for the composition of structural universals because it cannot explain the mereological difference between isomeric universals, such as being butane and being isobutane. I consider responses, which come at costs to the view.

While openmindedness is often cited as a paradigmatic example of an intellectual virtue, the connection between openmindedness and truth is tenuous. Several strategies for reconciling this tension are considered, and each is shown to fail; it is thus claimed that openmindedness, when intellectually virtuous, bears no interesting essential connection to truth. In the final section, the implication of this result is assessed in the wider context of debates about epistemic value.

The principle of energy conservation is widely taken to be a se- rious difficulty for interactionist dualism (whether property or sub- stance). Interactionists often have therefore tried to make it satisfy energy conservation. This paper examines several such attempts, especially including E. J. Lowe’s varying constants proposal, show- ing how they all miss their goal due to lack of engagement with the physico-mathematical roots of energy conservation physics: the first Noether theorem (that symmetries imply conservation laws), its converse (that conservation (...) laws imply symmetries), and the locality of continuum/field physics. Thus the “conditionality re- sponse”, which sees conservation as (bi)conditional upon symme- tries and simply accepts energy non-conservation as an aspect of interactionist dualism, is seen to be, perhaps surprisingly, the one most in accord with contemporary physics (apart from quantum mechanics) by not conflicting with mathematical theorems basic to physics. A decent objection to interactionism should be a posteri- ori, based on empirically studying the brain. (shrink)

Joyce (1998) gives an argument for probabilism: the doctrine that rational credences should conform to the axioms of probability. In doing so, he provides a distinctive take on how the normative force of probabilism relates to the injunction to believe what is true. But Joyce presupposes that the truth values of the propositions over which credences are defined are classical. I generalize the core of Joyce’s argument to remove this presupposition. On the same assumptions as Joyce uses, the credences of (...) a rational agent should always be weighted averages of truth value assignments. In the special case where the truth values are classical, the weighted averages of truth value assignments are exactly the probability functions. But in the more general case, probabilistic axioms formulated in terms of classical logic are violated—but we will show that generalized versions of the axioms formulated in terms of non-classical logics are satisfied. (shrink)

The past four decades of research in the social sciences have shed light on two important phenomena. One is that human decision-making is full of predicable errors and biases that often lead individuals to make choices that defeat their own ends (i.e., the bad choice phenomenon), and the other is that individuals’ decisions and behaviors are powerfully shaped by their environment (i.e., the influence phenomenon). Some have argued that it is ethically defensible that the influence phenomenon be utilized to address (...) the bad choice phenomenon. They propose that “choice architects” learn about the various ways in which choices can be influenced and directed by the environment, and then work to design environments, broadly construed, that influence individuals towards choices that make them better off. Those who advocate intentionally creating choice environments that lead people to better choices believe that doing so is ethically permissible because (1) it makes people better off, and (2) it does so in a way that is entirely compatible with individual liberty. The evaluation of these two claims is the main focus of this paper. (shrink)

The role of probability is one of the most contested issues in the interpretation of contemporary physics. In this paper, I’ll be reevaluating some widely held assumptions about where and how probabilities arise. Larry Sklar voices the conventional wisdom about probability in classical physics in a piece in the Stanford Online Encyclopedia of Philosophy, when he writes that “Statistical mechanics was the first foundational physical theory in which probabilistic concepts and probabilistic explanation played a fundamental role.” And the conventional wisdom (...) about quantum probabilities is that they are basic, not reducible to the types of probabilities we see in statistical mechanics. In the first section of this paper, I’ll argue that in fact classical physics was steeped in probability long before statistical mechanics came on the scene, specifically, that an objective measure over phase space is an indispensable component of any informative physical theory. In the next section, I’ll argue that this objective measure is the fundamental form of physical probability and that quantum probabilities can be defined in terms of it. In the last, I’ll raise some questions about the metaphysical status of the fundamental measure. (shrink)

The famous Cartesian Nicolas Malebranche (1638-1715) espoused the occasionalist doctrine that ‘there is only one true cause because there is only one true God; that the nature or power of each thing is nothing but the will of God; that all natural causes are not true causes but only occasional causes’ (LO, 448, original italics). One of Malebranche’s well-known arguments for occasionalism, known as, the ‘no necessary connection’ argument (or, NNC ) stems from the principle that ‘a true cause… is (...) one such that the mind perceives a necessary connection between it and its effect’ (LO, 450). The outline of this paper is as follows. I explicitly layout NNC and articulate some of its prima facie strengths (§1). I then critically discuss, what I take to be, the two main arguments against NNC of the Lee-Pyle interpretation (§2). The main conclusion from (§2) is that Malebranche did not abandon NNC in his later works given textual evidence from the Dialogues, contrary to the Lee-Pyle interpretation. In (§3) I discuss in what ways Suárez, Leibniz, Régis and Spinoza all accepted the main premise of NNC. Then, I rebut Steven Nadler’s influential and unchallenged criticism that Malebranche conflated causal and logical necessity, and provide a more accurate interpretation of Malebranche that only commits him to a partial reduction of causal to logical necessity (§4). (shrink)

A graph-theoretic account of logics is explored based on the general notion of m-graph (that is, a graph where each edge can have a finite sequence of nodes as source). Signatures, interpretation structures and deduction systems are seen as m-graphs. After defining a category freely generated by a m-graph, formulas and expressions in general can be seen as morphisms. Moreover, derivations involving rule instantiation are also morphisms. Soundness and completeness theorems are proved. As a consequence of the generality of the (...) approach our results apply to very different logics encompassing, among others, substructural logics as well as logics with nondeterministic semantics, and subsume all logics endowed with an algebraic semantics. (shrink)

Trope theory is a leading metaphysical theory in analytic ontology. One of its classic statements is found in the work of Donald C. Williams who argued that tropes qua abstract particulars are the very alphabet of being. The concept of an abstract particular has been repeatedly attacked in the literature. Opponents and proponents of trope theory alike have levelled their criticisms at the abstractness of tropes and the associated act of abstraction. In this paper I defend the concept of a (...) trope qua abstract particular by rejecting arguments that purport to show that tropes should not be understood as abstract and by arguing that the abstractness of tropes plays an indispensable role in one of our more promising trope-theoretic analyses of universals and of concrete objects. (shrink)

Background: Broccoli is an edible green plant in the cabbage family (family Brassicaceae, genus Brassica) whose large flowering head, stalk and small associated leaves are eaten as a vegetable. A leaf of Broccoli might be affected of Several Diseases descriped in this paper . When symptoms is encountered, it requires some kind of medical care. If appropriate Survival of Broccoli Diseases is not taken quickly, it can lead to Broccoli to die . Objectives: The main goal of this expert system (...) is to get the appropriate diagnosis of disease and the correct treatment. Methods: In this paper the design of the proposed Expert System which was produced to help Farmers in diagnosing many of the broccoli diseases such as : Damping Off,Club root of crucifers or Finger and toe disease,Alternaria leaf spot,Black rot,Downy mildew, and White rust. (shrink)

The study aimed to identify the role of administrative procedures and systems in enhancing the performance of the educational institutions in the Islamic University in Gaza. To achieve the research objectives, the researchers used the analytical descriptive approach to collect information. The researchers used the questionnaire distributed to three categories of employees at the Islamic University (senior management, faculty members, their assistants and members of the administrative board). A random sample of 314 employees was selected and 276 questionnaires were retrieved (...) with a recovery rate of 88.1%. The Statistical Analysis Program (SPSS) was used to enter process and analyze data. The results of the research showed a positive role for the administrative procedures and systems in enhancing the performance of the Islamic University from the point of view of the members (senior management, teaching staff and their assistants and the administrative body), where the relative weight of all the paragraphs (73.728%). The analysis of the results revealed that the administrative procedures at the Islamic University in Gaza are used to an acceptable degree. The relative weight of all the paragraphs is 70%. This indicates a relationship between administrative procedures and regulations and the performance of the Islamic University in the Gaza Strip. The study found that there was a good degree of approval from the sample regarding the administrative procedures and their relationship to the job performance. There exist a sufficient degree of powers to the deans and department managers to carry out their tasks, with the use of plans as control tools. And that there are rules and procedures provided for decision-making in the University Council. It also has full powers to manage the university to improve the teaching and learning environment. The researchers also recommended a number of recommendations, including the need to follow up on the procedures and systems of management and update them continuously in the light of changes that may occur and to ensure the existence of a strong system of electronic information systems within the university. There is a need to provide mechanisms for obtaining information about the surrounding external environment, and effective mechanisms to provide managers with the necessary information in a timely manner. The importance of providing channels of communication that enables staff to communicate information about any violations and breaches. The study also recommended the follow-up, review, procedures and administrative systems, and work to modify them in line with the mission of the university and the objectives that the university seeks to reach. (shrink)

This chapter argues that scientific and philosophical progress in our understanding of the living world requires that we abandon a metaphysics of things in favour of one centred on processes. We identify three main empirical motivations for adopting a process ontology in biology: metabolic turnover, life cycles, and ecological interdependence. We show how taking a processual stance in the philosophy of biology enables us to ground existing critiques of essentialism, reductionism, and mechanicism, all of which have traditionally been associated with (...) substance ontology. We illustrate the consequences of embracing an ontology of processes in biology by considering some of its implications for physiology, genetics, evolution, and medicine. And we attempt to locate the subsequent chapters of the book in relation to the position we defend. (shrink)

The concept of instantiation is realized differently across a variety of metaphysical theories. A certain realization of the concept in a given theory depends on what roles are specified and associated with the concept and its corresponding term as well as what entities are suited to fill those roles. In this paper, the classic realization of the concept of instantiation in a one-category ontology of abstract particulars or tropes is articulated in a novel way and defended against unaddressed objections.

In the early twentieth century, many philosophers in America thought that time should be taken seriously in one way or another. George P. Adams (1882-1961) argued that the past, present and future are all real but only the present is actual. I call this theory ‘actualist eternalism’. In this paper, I articulate his novel brand of eternalism as one piece of his metaphysical system and I explain how he argued for the view in light of the best explanations of temporal (...) experience and the present. I argue that his exploitation of analogies between time and modality offer some lessons for current debates about time such as the importance of providing a temporal epistemology. I also extract what I call the temporal boundary problem and argue that it gives rise to an unaddressed challenge for presentists and growing block theorists. (shrink)

As it is known, there is no rule satisfying Additivity in the complete domain of bankruptcy problems. This paper proposes a notion of partial Additivity in this context, to be called µ-additivity. We find that µ-additivity, together with two quite compelling axioms, anonymity and continuity, identify the Minimal Overlap rule, introduced by Neill (1982).

Structural universals are a kind of complex universal. They have been put to work in a variety of philosophical theories but are plagued with problems concerning their compositional nature. In this article, we will discuss the following questions. What are structural universals? Why believe in them? Can we give a consistent account of their compositional nature? What are the costs of doing so?

Engaging with the question of the extent to which the so-called human, economic or social sciences are actually sciences, this book moves away from the search for a criterion or definition that will allow us to sharply distinguish the scientific from the non-scientific. Instead, the book favours the pursuit of clarity with regard to the various enterprises undertaken by human beings, with a view to dissolving the felt need for such a demarcation. In other words, Read pursues a ‘therapeutic’ approach (...) to the issue of the status and nature of these subjects. Discussing the work of Kuhn, Winch and Wittgenstein in relation to fundamental question of methodology, Wittgenstein among the Sciences undertakes an examination of the nature of (natural) science itself, in the light of which a series of successive cases of putatively scientific disciplines are analysed. A novel and significant contribution to social science methodology and the philosophy of science and ‘the human sciences’, this book will be of interest to social scientists and philosophers, as well as to psychiatrists, economists and cognitive scientists. (shrink)

In the ontology of music the Aristotelian theory of musical works is the view that musical works are immanent universals. The Aristotelian theory (hereafter Musical Aristotelianism) is an attractive and serviceable hypothesis. However, it is overlooked as a genuine competitor to the more well-known theories of Musical Platonism and nominalism. Worse still, there is no detailed account in the literature of the nature of the universals that the Aristotelian identifies musical works with. In this paper, I argue that the best (...) version of Musical Aristotelianism identifies musical works with structural universals. I first motivate the view by outlining its explanatory benefits. I then argue that Musical Aristotelianism is preferable to Musical Platonism and present a novel account of musical works as structural universals by developing D. M. Armstrong’s theory of structural universals. I discuss the consequences of Musical Aristotelianism with respect to on-going issues in debates about musical works and defend the view against an influential objection, concluding that Musical Aristotelianism is a genuine competitor in debates about the nature of musical works. (shrink)

Should a principle of charity be applied to the interpretation of the colour concepts exercised in visual experience? We think not. We shall argue, for one thing, that the grounds for applying a principle of charity are lacking in the case of colour concepts. More importantly, we shall argue that attempts at giving the experience of colour a charitable interpretation either fail to respect obvious features of that experience or fail to interpret it charitably, after all. Charity to visual experience (...) is therefore no motive for resisting the natural, Galilean response to a scientific understanding of light and vision. The best interpretation of colour experience ends up convicting it of widespread and systematic error. (shrink)

David Lewis objected to theories that posit necessary connections between distinct entities and to theories that involve a magical grasping of their primitives. In On the Plurality of Worlds, Lewis objected to nondescript ersatzism on these grounds. The literature contains several reconstructions of Lewis’ critique of nondescript ersatzism but none of these interpretations adequately address his main argument because they fail to see that Lewis’ critique is based on broader methodological considerations. I argue that a closer look at his methodology (...) reveals the broader objection he presented against nondescript ersatzism. This objection, I further argue, remains a challenge for the ersatzer who posits structure-less entities as possible worlds. (shrink)

In response to its current crisis, scholars call for the revitalisation of democracy through democratic innovations. While they make ample use of life metaphors describing democracy as a living organism, no comprehensive understanding of ‘life’ has been established within democratic theory. The Black Lives Matter (BLM) movement articulates the urgency of refocusing on life and its meaning through radical democratic practice. This article employs a grounded theory approach, enriched with participatory methods, to develop a radical democratic concept of life in (...) conversation with BLM. It conceptualises life as the existence of a perspective that constantly transforms through its fundamental interconnectedness. Building on this concept, the article outlines four principles of a living democracy that go beyond the revitalisation discourse. A living democracy (1) safeguards the existence of all humans and nonhumans, (2) nurtures a diversity of perspectives, (3) fosters social and planetary connectivity, and (4) enables self- and collective transformation. (shrink)

Recent research has relied on trolley-type sacrificial moral dilemmas to study utilitarian versus nonutili- tarian modes of moral decision-making. This research has generated important insights into people’s attitudes toward instrumental harm—that is, the sacrifice of an individual to save a greater number. But this approach also has serious limitations. Most notably, it ignores the positive, altruistic core of utilitarianism, which is characterized by impartial concern for the well-being of everyone, whether near or far. Here, we develop, refine, and validate a (...) new scale—the Oxford Utilitarianism Scale—to dissociate individual differences in the ‘negative’ (permissive attitude toward instrumental harm) and ‘positive’ (impartial concern for the greater good) dimensions of utilitarian thinking as manifested in the general population. We show that these are two independent dimensions of proto-utilitarian tendencies in the lay population, each exhibiting a distinct psychological profile. Empathic concern, identification with the whole of humanity, and concern for future generations were positively associated with impartial beneficence but negatively associated with instrumental harm; and although instrumental harm was associated with subclinical psychopathy, impartial beneficence was associated with higher religiosity. Importantly, although these two dimensions were independent in the lay population, they were closely associated in a sample of moral philosophers. Acknowledging this dissociation between the instrumental harm and impartial beneficence components of utilitarian thinking in ordinary people can clarify existing debates about the nature of moral psychology and its relation to moral philosophy as well as generate fruitful avenues for further research. (shrink)